// allowed
pub fn default() {}
